Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
008722 | Yifei Dong [États-Unis] ; Beata Sarna-Starosta [États-Unis] ; C. R. Ramakrishnan [États-Unis] ; Scott A. Smolka [États-Unis] | Vacuity Checking in the Modal Mu-Calculus* |
This area was generated with Dilib version V0.6.33. |